(0 16 13)(1 17 5)(2 14 4)(3 12 10)(6 9 7)(8 15 11)
ALLOWS (11/8)-SEQUENCE
1: (3 10 12)
(0 16 13)(1 17 5)(2 14 4)(3 10 12)(6 9 7)(8 15 11)
2: (8 15 11)
(0 16 13)(1 17 5)(2 14 4)(3 10 12)(6 9 7)(8)(11)(15)
3: (3 10 12)
(0 16 13)(1 17 5)(2 14 4)(3)(6 9 7)(8)(10)(11)(12)(15)
4: (2 14 4)
(0 16 13)(1 17 5)(2)(3)(4)(6 9 7)(8)(10)(11)(12)(14)(15)